1. An introduction to independence for analysts
Author: Dales, H. G.)Harold G.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
Classification :
QA
9
.
7
.
D35
1987
2. An introduction to independence for analysts
Author: Dales, H. G.)Harold G.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
Classification :
QA
9
.
7
.
D35
1987
3. Constructible sets with applications
Author: / A. Mostowski
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Axiomatic set theory,Model theory
Classification :
512
.
817
Mo-C
4. Intuitionistic logic, model theory and forcing
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Model theory,Axiomatic set theory,Forcing (Model theory)
Classification :
QA
9
.
F56
5. Intuitionistic logic, modlel theory and forcing
Author: / Melvin Chris Fitting
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Model theory,Axiomatic set theory
Classification :
511
.
8
F547
6. Proper and improper forcing
Author: Saharon Shelah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Forcing )Model theory(,، Axiomatic set theory
Classification :
QA
9
.
7
.
S54
1998
7. Proper forcing
Author: Shelah, Saharon.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Forcing )Model theory(,، Axiomatic set theory
Classification :
QA
1
.
L4
v
.
940
